//Source file: C:\\JDK\\jdk-22.0.1\\lib\\School.java


public class School extends Department 
{
   public Department theDepartment;
   public Student theStudent[];
   
   /**
    * @roseuid 6720F6C40043
    */
   public School() 
   {
    
   }
}
